TOC and automata example Turing machine For '0' pow '2' pow 'n' where 'n' greater than equal to '0'